|
|
(In) Transparent Intensional Logic (some remarks to the notion of trivialisation in TIL)
Majer, Ondrej
Pavel Tichý's Transparent Intensional Logic (TIL)is a power ful tool for the logical analysis of natural language. The article discusses one of the key notions of TIL - the notion of trivialisation. Trivialisation belongs to the formal apparatus of the theory but is essentially connected to its philosophical background. The aim of the paper is to clarify the philosophical role of trivialisation and to discuss its counterparts in standard logical systems.
|
|
|
The Logica Yearbook 2000
Majer, Ondrej
The volume comprises most of the papers presented at the international symposium LOGICA 2000. Following the traditiof the LOGICA symposia, the papers deal with a broad range of problems in logic revelant to philosophy. Contributors include Gabriel Sandu, Jaroslav Peregrin and Göran Sundholm.
|
|
|
Absolute and Relative Concepts in Logic
Peregrin, Jaroslav
We should distinguish two kinds of logical pursuit. The first is the pursuit of the explication of the absolute concepts of truth, proof, consequence etc.; the second is the pursuit of their counterparts which are relativized to a linguistic system. The former leads to the 'logic as a language' notion; the other to the 'logic as a calculus' one. These two pursuits are, of course, not unrelated (the latter may be taken as a way of carrying out the former); however, many logicians appear to simply identify logic with one of them. And while it is feasible to identify logic with the first of them (possibly taking the second as a means of accomplishing it), it is not so feasible to identify it with the second.
|
|
|
Propositional Attitudes Revised
Materna, Pavel ; Duží, M.
A dialogue concerning the type-theoretical character of propositional attitudes. One kind can be defined as a relation that links the individual (subject) with the construction underlying the subordinate clause, the second kind links the individual with the proposition denoted by that sentence. The second kind is out of question if the subordinate clause is a mathematical one.
|
host ::
RSS.